101![Automatic Code Generation for SIMD Hardware Accelerators Serge Guelton1 , Fran¸cois Irigoin2 , and Ronan Keryell3 1 T´el´ecom Bretagne, HPCAS, France, Automatic Code Generation for SIMD Hardware Accelerators Serge Guelton1 , Fran¸cois Irigoin2 , and Ronan Keryell3 1 T´el´ecom Bretagne, HPCAS, France,](https://www.pdfsearch.io/img/c8013a91b86660cfc5620b2c8db723cd.jpg) | Add to Reading ListSource URL: www.cri.ensmp.frLanguage: English - Date: 2010-07-28 09:36:54
|
---|
102![ALICe: A Framework to Improve Affine Loop Invariant Computation ALICe: A Framework to Improve Affine Loop Invariant Computation](https://www.pdfsearch.io/img/4cbfef6699bb909077a13732ae07ce78.jpg) | Add to Reading ListSource URL: www.cri.ensmp.frLanguage: English - Date: 2014-08-26 09:22:06
|
---|
103![Examples of Use of Mgfun Frédéric Chyzak (JulySet up Examples of Use of Mgfun Frédéric Chyzak (JulySet up](https://www.pdfsearch.io/img/9cf0e5379c9c648de44de085a4afb5df.jpg) | Add to Reading ListSource URL: algo.inria.frLanguage: English - Date: 2012-07-17 16:19:32
|
---|
104![V viewpoints DOI: V viewpoints DOI:](https://www.pdfsearch.io/img/8120139f3ef28ff095076594a3b95e6a.jpg) | Add to Reading ListSource URL: research.microsoft.comLanguage: English - Date: 2015-04-17 18:22:37
|
---|
105![Challenges in Relational Learning for Real-Time Systems Applications Mark Bartlett1,2 , Iain Bate2 , and Dimitar Kazakov1 1 Artificial Intelligence Group, Department of Computer Science, Challenges in Relational Learning for Real-Time Systems Applications Mark Bartlett1,2 , Iain Bate2 , and Dimitar Kazakov1 1 Artificial Intelligence Group, Department of Computer Science,](https://www.pdfsearch.io/img/95528469c93a0f4a9aa9860e34473258.jpg) | Add to Reading ListSource URL: www.cs.york.ac.ukLanguage: English - Date: 2012-05-02 15:17:36
|
---|
106![On the Importance of Program Representations in Static Analysis Xiao Xiao Supervisor: Charles Zhang Department of Computer Science and Engineering The Hong Kong University of Science and Technology On the Importance of Program Representations in Static Analysis Xiao Xiao Supervisor: Charles Zhang Department of Computer Science and Engineering The Hong Kong University of Science and Technology](https://www.pdfsearch.io/img/7c160f026523c7aced25a94f45275273.jpg) | Add to Reading ListSource URL: www.cse.ust.hkLanguage: English - Date: 2013-09-22 04:04:19
|
---|
107![DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation Min Gyung Kang∗† Stephen McCamant† Pongsin Poosankam∗† Dawn Song† † UC Berkeley ∗ Carnegie Mellon University {mgkang,ppoosank}@cmu.edu DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation Min Gyung Kang∗† Stephen McCamant† Pongsin Poosankam∗† Dawn Song† † UC Berkeley ∗ Carnegie Mellon University {mgkang,ppoosank}@cmu.edu](https://www.pdfsearch.io/img/8b0cf4daa776d36e105907b2d3220fd2.jpg) | Add to Reading ListSource URL: bitblaze.cs.berkeley.eduLanguage: English - Date: 2013-03-28 20:19:28
|
---|
108![A Study of “Wheat” and “Chaff” in Source Code Martin Velez∗ ∗ Dong Qiu† A Study of “Wheat” and “Chaff” in Source Code Martin Velez∗ ∗ Dong Qiu†](https://www.pdfsearch.io/img/5e90c720da2af385ecdec1935815a1d6.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2015-02-05 20:50:19
|
---|
109![On the Importance of Program Representations in Static Analysis Xiao Xiao Supervisor: Charles Zhang Department of Computer Science and Engineering Hong Kong University of Science and Technology On the Importance of Program Representations in Static Analysis Xiao Xiao Supervisor: Charles Zhang Department of Computer Science and Engineering Hong Kong University of Science and Technology](https://www.pdfsearch.io/img/96e6cca2224e33947fc1600bafbad0cb.jpg) | Add to Reading ListSource URL: www.cse.ust.hkLanguage: English - Date: 2013-09-22 04:01:20
|
---|